Higher-order Modeling and Automated Design-space Exploration
نویسندگان
چکیده
An important part of the design of complex systems is the evaluation of the large number of potential alternative designs. Due to the number and complexity of design parameters, this design space is potentially huge and very complex. Automating part of the design exploration task can be an invaluable help in finding the optimal or near optimal settings of design parameters. The choice of the most appropriate exploration strategy depends on the nature of the parameters, such as their role in the model, the dimensionality and structure of the design space including the number and location of local optima, etc. This paper advocates the use of higher-order modeling techniques to express exploration strategies. This allows users to formulate them in the same set of languages used to model the original system. Hence the set of design space exploration tools can be extended and parameterized as easily as the model itself. In this paper a higher-order modeling langage is presented. As an example a number of simple exploration tools are modeled and applied to a small optimization problem.
منابع مشابه
Specification and Design of a MP3 Audio Decoder
In an effort to understand, experience and prove the benefits of automated SoC design, this report describes the specification modeling, design space exploration and implementation of a real world example using SpecC based System on Chip Environment (SCE). The report covers a complete description of developing the specification model of a MPEG-1 Layer 3 (MP3) audio decoder in SpecC language and...
متن کاملEfficient Modeling of Embedded Systems Using Computer-Aided Recoding
The design of embedded computing systems, such as video-enabled mobile phones and reliable medical devices, faces a serious productivity gap due to the increasing complexity of their hardware and software, as well as hard design constraints, including strict timing, multi-core functionality, low power and price, and short time-to-market. One solution to address this problem is the modeling at h...
متن کاملThe COMPLEX methodology for UML/MARTE Modeling and design space exploration of embedded systems
The design of embedded systems is being challenged by their growing complexity and tight performance requirements. This paper presents the COMPLEX UML/MARTE Design Space Exploration methodology, an approach based on a novel combination of Model Driven Engineering (MDE), Electronic System Level (ESL) and design exploration technologies. The proposed framework enables capturing the set of possibl...
متن کاملTowards simultaneous reduction of both input and output spaces for interactive simulation-based structural design
Engineering design problems generally involve a high-dimensional input space of design variables yielding an output space by means of costly high-fidelity evaluations. In order to decrease the overall cost, reducedorder models for the output space such as Proper Orthogonal Decomposition (POD) and proper Generalized Decomposition (PGD) are an active area of research. However, little research has...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002